correspondance de curry-howard en chinois
Voix:
Tranduction
Portable
- 柯里-霍华德同构
- correspondance: 音标：[kɔrεspɔ̃dãs] n.f....
- de: 音标：[d] prép....
- comté de curry: 寇里县...
- paradoxe de curry: 柯里悖论...
- analyse de correspondance: 统计离差协方差分析方差分析随机过程要素分析构成分析多元回归分析判别式法贝叶斯 ......
- correspondance de galois: 伽罗瓦连接...
- plate-forme de correspondance: 转运站...
- principe de correspondance: 匹配原则...
- table de correspondance: 查找表...
- curry: 音标：[kyri]ou cari n.m. 咖喱,咖喱粉;咖喱佳肴...
- comté de curry (oregon): 寇里县 (俄勒冈州)...
- correspondance: 音标：[kɔrεspɔ̃dãs]n.f. 符合,一致,适合,相符,相称,对应 ......
- comté de howard: 霍华德县...
- bulletin de vote par correspondance: 邮寄选票缺席选票...
- campagne de vente par correspondance: 邮购运动...
Phrases
- Voir aussi correspondance de Curry-Howard.
参见Curry-Howard同构。 - Le calcul des constructions peut être considéré comme une extension de la correspondance de Curry-Howard.
构造演算可以被当作 Curry-Howard同构的扩展。 - À travers la correspondance de Curry-Howard, le système F est en effet isomorphe à la logique minimale du second ordre.
在Curry-Howard同构下，系统F对应于二阶逻辑。 - Coq utilise la correspondance de Curry-Howard.
Agda体现了柯里-霍华德同构（Curry-Howard correspondence）。